extern class Int extends Float {
}
